Dag Svanæs is involved in the Norwegian public debate on how to handle the Corona pandemic. During the last year, he has written articles, participated in many debates and given lectures on the pandemic. He is the initiator of the website Coronakritikk.no, where they document the debate and present scientific knowledge about the pandemic. Svanæs is a professor at the Department of Computer Technology and Informatics at NTNU and studies the interaction between humans and technology. Svanæs received his Ph.D. in (...) Human-Computer Interaction from NTNU. His research over the last 15 years has been in the fields of HCI and Interaction Design. He has built up a full-scale usability laboratory that allows for simulation of use scenarios with multiple users and multiple devices in realistic settings – primarily for the medical domain. This allows for evaluations and empirical studies of embodied interaction. The basic theory that most inspires his work is the phenomenology of Maurice Merleau-Ponty and Martin Heidegger. This was also the topic of his 2000 PhD. This shows Svanæs’ interest in technology, philosophy, health and the ability to have knowledge to predict what could happen in the future. (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first ‘local-to-global’ principles. It is well-known that such principles in analysis are intimately connected to (open-cover) compactness, but we nonetheless exhibit fundamental differences between compactness and Pincherle's theorem. For instance, the main question of Reverse Mathematics, namely which set existence axioms are necessary to (...) prove Pincherle's theorem, does not have an unique or unambiguous answer, in contrast to compactness. We establish similar differences for the computational properties of compactness and Pincherle's theorem. We establish the same differences for other local-to-global principles, even going back to Weierstrass. We also greatly sharpen the known computational power of compactness, for the most shared with Pincherle's theorem however. Finally, countable choice plays an important role in the previous, we therefore study this axiom together with the intimately related Lindelöf lemma. (shrink)

According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...) this notion. Another main part of the paper is concerned with a modification of this notion as it occurs in Michael Dummett’s book The Logical Basis of Metaphysics. The two notions are compared and there is a discussion of how they fare as a foundation for a theory of meaning. It is noted that Dummett’s notion has a simpler structure, but it is argued that it is less appropriate for the foundation of a theory of meaning, because the possession of a valid argument for a sentence in Dummett’s sense is not enough to be warranted to assert the sentence. (shrink)

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

Bu makale genel olarak karşılaştırmalı teoloji alanını Türkçe okuyucuya tanıtmayı amaçlamaktadır. Karşılaştırmalı teoloji, son yıllarda Batıda yeniden yorumlanmış ve ötekinden öğrenme düsturuyla yola çıkan akademik bir disiplin alanıdır. Bu makale karşılaştırmalı teolojiyi tanıtmakla beraber Hristiyan teolojisi içindeki yerini de sorgulayacaktır. Bu bağlamda, karşılaştırmalı teolojinin dinler teolojisine bir alternatif olup olmadığı, karşılaştırmalı teolojinin dinler teolojisinden bağımsız bir alan olarak değerlendirilip değerlendirilemeyeceği, dinler teolojisi içerisinde bir tipoloji olarak görülüp görülmediği gibi sorunlara da cevap arayacaktır. Nihayetinde bu makalede karşılaştırmalı teolojinin dinler teolojisine alternatif (...) olarak görülemeyeceği, aynı zamanda dinler teolojisi içerisinde üç veya dört yönlü tipolojilerden biri olarak da değerlendirilemeyeceği sonucuna varılmıştır. Sonuçta karşılaştırmalı teoloji ve dinler teolojisinin birbirinden bağımsız ama birbirlerini tamamlayan iki alan olduğu iddia edilecektir. (shrink)

In the 12th century the "Book of the Soul" by the philosopher Avicenna was translated from Arabic into Latin. It had an immense success among scholastic writers and deeply influenced the structure and content of many psychological works of the Middle Ages. The reception of Avicenna's book is the story of cultural contact at an imipressively high intellectural level. The present volume investigates this successful reception using two approaches. The first is chronological, tracing the stages by which Avicenna's work was (...) accepted and adapted by Latin scholars. The second is doctrinal, analyzing the fortunes of key doctrines. The sense of the original Arabic text of Avicenna is kept in mind throughout and the degree to which his original Latin interpreters succeeded in conveying it is evaluated. (shrink)

By a valid inference is here understood an inference that succeeds in its aim to justify its conclusion given that its premisses are already justified. For an inference to be valid it is thus not enough that the sentence asserted in the conclusion is a logical consequence of the sentences asserted in the premisses. A proof is understood as a succession of valid inferences that is closed (i.e. all its assumptions are discharged and all its free variables are bound by (...) some of the inferences). On the other hand, in mathematics the justification of an assertion has traditionally been taken to consist in a proof of it, which gives rise to an explanatory circle.In an attempt to avoid this circle, I have in previous works tried to explain the notion of ground for an assertion without referring to valid inferences. However, it turns out that the resulting notion of ground has unwanted consequences like the notion of proof in the so-called BHK-interpretation of intuitionistic logic. For instance, one is guaranteed a ground or a proof of an implication A → B as soon as there is in fact no ground or proof of A, regardless of whether one really knows this fact, and hence without having a real justification of the assertion of the implication.In the absence of a non-circular explanation of the notions of valid inference and proof, I suggest that we should try to formulate a number of principles of how these two epistemic notions depend on each other. A more careful explanation of the validity of an inference results in what I call a heuristic idea about the validity of inference, which is used as a guide to formulate precise principles. One such principle generalizes Gentzen’s idea that his introduction rules define the meaning of the logical constants. Another principle generalizes a previously noted property of Gentzen’s elimination rules that I have called that of satisfying the inversion principle. It results in a notion that I call non-creativity, which implies validity. (shrink)

We take Carnap’s problem to be to what extent standard consequence relations in various formal languages fix the meaning of their logical vocabulary, alone or together with additional constraints on the form of the semantics. This paper studies Carnap’s problem for basic modal logic. Setting the stage, we show that neighborhood semantics is the most general form of compositional possible worlds semantics, and proceed to ask which standard modal logics (if any) constrain the box operator to be interpreted as in (...) relational Kripke semantics. Except when restricted to finite domains, no modal logic characterizes all the Kripkean interpretation of P. Moreover, we show that, in contrast with the case of first-order logic, the obvious requirement of permutation invariance is not adequate in the modal case. After pointing out some known facts about modal logics that nevertheless force the Kripkean interpretation, we focus on another feature often taken to embody the gist of modal logic: locality. We show that invariance under point-generated subframes (properly defined) does single out the Kripkean interpretations, but only among topological interpretations, not in general. Finally, we define a notion of bisimulation invariance — another aspect of locality — that, together with a reasonable closure condition, gives the desired general result. Along the way, we propose a new perspective on normal neighborhood frames as filter frames, consisting of a set of worlds equipped with an accessibility relation, and a free filter at every world. (shrink)

Justice is an important concept in philosophy since ancient times and a key phenomenon in human life (in societies). First a judge at a court, two sides, their witnesses, Lawyer-A and Lawyer-B are considered in this quasi-essay inquiry. Then pointed out that, which lawyer better develops his/her arguments, his/her side will be advantageous. Reality conceals on the one side, truth (and rightness) stands on the other. However this will be risky in social life; it may be understood by an ordinary (...) man (or someone who doesn’t have a proper philosophical insight) as “who - obeying the rules- better diverts reality and shows that (s)he is right, his/her side wins.” Not only knowledge, but also philosophy itself loses prestige in such a tableau. Stemming from ‘Gettier-pictures,’ a “murderingevent” is presented thereafter. By help of pseudo-philosophers Prof. Truth, Prof. Reality and E.G. (“eyeglasser”) some perspectives related to “knowledge” and “knowing” are discussed while trying to analyze the mentioned event. At the end, (reflecting in the place of me) E.G. states some features (which are important for him) concerning knowledge. In this paper, ‘subject-dependency’ and internalizability (or better, interiorizability) of knowledge will be traced somehow; in addition to a search towards ‘relevant’, ‘valuable’, ‘illicit’, and ‘proper’ kinds. (shrink)

This article examines the metaphysical and moral foundations of Spinoza’s account of suicide. Spinoza’s treatment of suicide is brought into question by his conatus doctrine, which posits the striving to preserve one’s own being as the very essence of existence. Accordingly, suicide, or the termination of life, as the destruction of one’s own being, represents the exhaustion of this striving. The analysis of the causes that lead to self-destruction has sparked significant debate in Spinoza’s literature, raising the question of whether (...) suicide is a passive and irrational decision or a free and rational choice. This article, which engages with prominent scholars of this literature, notably Matson, Bennett, LeBuffe and Nadler, aims to alleviate this controversy by offering alternative readings and arguments. It concludes that free and rational suicide does not exist in Spinoza’s thought; instead, the “suicide of reason or rationality” forms the basis for bodily suicide. (shrink)

This edition aims to make Margaret Cavendish’s most mature philosophical work more accessible to students and scholars of the period. _Grounds of Natural Philosophy_ is important not only because it is Cavendish’s final articulation of her metaphysics but also because it succinctly outlines her fundamental views on “the nature of nature”—or the base substance and mechanics of all natural matter—and vividly demonstrates her probabilistic approach to philosophical enquiry. Moreover, _Grounds_ spends considerable time discussing the human body, including the functions of (...) the mind, a topic of growing interest to both historians of philosophy and literary scholars. This Broadview Edition opens to modern readers a vibrant, unique, and provocative voice of the past that challenges our standard view of seventeenth-century English philosophy. (shrink)

The standard relation of logical consequence allows for non-standard interpretations of logical constants, as was shown early on by Carnap. But then how can we learn the interpretations of logical constants, if not from the rules which govern their use? Answers in the literature have mostly consisted in devising clever rule formats going beyond the familiar what follows from what. A more conservative answer is possible. We may be able to learn the correct interpretations from the standard rules, because the (...) space of possible interpretations is a priori restricted by universal semantic principles. We show that this is indeed the case. The principles are familiar from modern formal semantics: compositionality, supplemented, for quantifiers, with topic-neutrality. (shrink)

Cantor’s first set theory paper (1874) establishes the uncountability of ${\mathbb R}$. We study this most basic mathematical fact formulated in the language of higher-order arithmetic. In particular, we investigate the logical and computational properties of ${\mathsf {NIN}}$ (resp. ${\mathsf {NBI}}$ ), i.e., the third-order statement there is no injection resp. bijection from $[0,1]$ to ${\mathbb N}$. Working in Kohlenbach’s higher-order Reverse Mathematics, we show that ${\mathsf {NIN}}$ and ${\mathsf {NBI}}$ are hard to prove in terms of (conventional) comprehension axioms, (...) while many basic theorems, like Arzelà’s convergence theorem for the Riemann integral (1885), are shown to imply ${\mathsf {NIN}}$ and/or ${\mathsf {NBI}}$. Working in Kleene’s higher-order computability theory based on S1–S9, we show that the following fourth-order process based on ${\mathsf {NIN}}$ is similarly hard to compute: for a given $[0,1]\rightarrow {\mathbb N}$ -function, find reals in the unit interval that map to the same natural number. (shrink)

Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics where the aim is to identify the minimal axioms needed to prove a given theorem from ordinary, i.e., non-set theoretic, mathematics. This program has unveiled surprising regularities: the minimal axioms are very often equivalent to the theorem over the base theory, a weak system of ‘computable mathematics’, while most theorems are either provable in this base theory, or equivalent to one of only four logical systems. The latter plus (...) the base theory are called the ‘Big Five’ and the associated equivalences are robust following Montalbán, i.e., stable under small variations of the theorems at hand. Working in Kohlenbach’s higher-order RM, we obtain two new and long series of equivalences based on theorems due to Bolzano, Weierstrass, Jordan, and Cantor; these equivalences are extremely robust and have no counterpart among the Big Five systems. Thus, higher-order RM is much richer than its second-order cousin, boasting at least two extra ‘Big’ systems. (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover compactness and the Lindelöf property, respectively. These notions are of great conceptual importance: the former is commonly viewed as a way of treating uncountable sets like e.g. [Formula: see text] as “almost finite”, while the latter allows one to treat uncountable sets like e.g. [Formula: see text] (...) as “almost countable”. This reduction of the uncountable to the finite/countable turns out to have a considerable logical and computational cost: we show that the aforementioned lemmas, and many related theorems, are extremely hard to prove, while the associated sub-covers are extremely hard to compute. Indeed, in terms of the standard scale (based on comprehension axioms), a proof of these lemmas requires at least the full extent of second-order arithmetic, a system originating from Hilbert–Bernays’ Grundlagen der Mathematik. This observation has far-reaching implications for the Grundlagen’s spiritual successor, the program of Reverse Mathematics, and the associated Gödel hierarchy. We also show that the Cousin lemma is essential for the development of the gauge integral, a generalization of the Lebesgue and improper Riemann integrals that also uniquely provides a direct formalization of Feynman’s path integral. (shrink)

Avicenna's Metaphysics (in Arabic: Ilâhiyyât) is the most important and influential metaphysical treatise of classical and medieval times after Aristotle. This volume presents studies on its direct and indirect influence in Arabic, Hebrew, and Latin culture from the time of its composition in the early eleventh century until the sixteenth century. Among the philosophical topics which receive particular attention are the distinction between essence and existence, the theory of universals, the concept of God as the necessary being and the theory (...) of emanation. It is shown how authors such as Averroes, Abraham ibn Daud, Albertus Magnus, Thomas Aquinas and John Duns Scotus react to Avicenna's metaphysical theories. The studies also address the philological and historical circumstances of the textual traditionin three different medieval cultures. The studies are written by a distinguished international team of contributors, who convened in 2008 to discuss their research in the Villa Vigoni, Italy. (shrink)

This is a reply to H. Ben-Yami, 'Generalized quantifiers, and beyond' (this journal, 2009), where he argues that standard GQ theory does not explain why natural language quantifiers have a restricted domain of quantification. I argue, on the other hand, that although GQ theory gives no deep explanation of this fact, it does give a sort of explanation, whereas Ben-Yami's suggested alternative is no improvement.

The paper elaborates two points: i) There is no principal opposition between predicate logic and adherence to subject-predicate form, ii) Aristotle's treatment of quantifiers fits well into a modern study of generalized quantifiers.

We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. A basic property of Cantor space$2^ $ is Heine–Borel compactness: for any open covering of $2^ $, there is a finite subcovering. A natural question is: How hard is it to compute such a finite subcovering? We make this precise by analysing the complexity of so-called fan functionals that given any $G:2^ \to $, output a (...) finite sequence $\langle f_0, \ldots,f_n \rangle $ in $2^ $ such that the neighbourhoods defined from $\overline {f_i } G\left$ for $i \le n$ form a covering of $2^ $. A basic property of Cantor space in Nonstandard Analysis is Abraham Robinson’s nonstandard compactness, i.e., that every binary sequence is “infinitely close” to a standard binary sequence. We analyse the strength of this nonstandard compactness property of Cantor space, compared to the other axioms of Nonstandard Analysis and usual mathematics.Our study of yields exotic objects in computability theory, while leads to surprising results in Reverse Mathematics. We stress that and are highly intertwined, i.e., our study is holistic in nature in that results in computability theory yield results in Nonstandard Analysis and vice versa. (shrink)

Levinas did not present any new ethical theories; he did not even give any normative recommendations. But his phenomenological investigations help us to understand how the idea of ethics emerges and how we try to cope with it. The purpose of this paper is to suggest some implications from a reading of Levinas on how ethical challenges are handled within a management perspective. The paper claims that management, both in theory and in practice, is necessarily egocentric and thus ethically biased. (...) Therefore, ethics, defined as the idea that it is possible to do otherwise than pursue one's own interest, must have its source outside the scope of management. Levinas identifies this source as the call for responsibility from the Other, beyond the reach of managerial control. He also suggests how this idea of ethics is put into practice, especially in economic life: the existence of money makes it both possible and necessary to compare unique and incomparable others. Management tools may be used in the service of always more justice, as it also may be used for the opposite purpose. Instead of trying to draw a normative conclusion from Levinas, we may distinguish between two ways of experiencing reality: one through language and knowledge, covering both descriptive and normative knowledge, including business ethics, and the other through the particular events of encounters, from where this knowledge is continuously questioned through the call for responsibility, and thereby may provide possibilities for continuous improvements towards always more justice. (shrink)

As in classical Latin philosophical and theological texts, Spinoza did not make any semantic distinction between the concepts of conscientia and conscius, and used one interchangeably. But the concept of conscientia is used as an “inner voice” or “conscience” meaning “moral sensitivity” or “moral awareness” and expresses both rational and irrational processes in traditioanl philosophy. On the other hand, the concept of conscius is used in the sense of “consciousness” and expresses a mental or psychological reflexive activity based on rational (...) processes in the same tradition. Based on Spinoza's use of the two concepts in the same sense, this study claims that “moral sensitivity” is formed as a result of reflexive thinking, which is a mental action. Where consciousness is understood as a reflexive activity based on the relationship between ideas, it is argued that “moral awareness” occurs in the mind as an idea formed as a result of the relationship between ideas. In the study, it is determined that Spinoza developed a kind of “moral consciousness” theory based on the awareness in question, rather than a “conscience theory”. The main focus of the study is that the idea of “good” and “evil”, which are the basic concepts in Spinoza’s ethics, arise from the idea of “joy” and “sadness” that occur as emotions in the mind. Here, “joy” or “sadness” is considered as the primary ideas that occur in the mind as a result of the affection of the body, and “good” or “bad” as secondary ideas formed by the mind as a result of contemplation on these primary ideas. In the article, the theory of “moral consciousness” is based on the “ideas of ideas”, which are the secondary ideas in question. Keywords: Consciousness, Conscience, Awareness, Moral Consciousness, Good-Evil, Joy-Sadness. (shrink)

Peter Abelard's autobiography, the Historia calamitatum, is one of the best-known medieval texts, especially because of the story of his love for Heloise which it recounts. In recent decades, there was so much controversy about the authenticity of the documents concerning Abelard and Heloise that the critical interpretation of the texts was relegated to the sidelines. The present volume provides a way out of this impasse. In it, the famous text is subjected to a series of exemplary analyses from the (...) perspectives of seven different 20th century literary theories (aesthetics of reception, Foucault, Gender Studies, Rhetorical Stylistic Analysis, Psychology of Literature, Cultural Studies, Deconstruction). The analyses are preceded by the Latin text of the Historia calamitatum with a modern German translation. This is thus the first time that the Historia calamitatum has been presented in a bilingual edition. (shrink)

We may try to explain proofs as chains of valid inference, but the concept of validity needed in such an explanation cannot be the traditional one. For an inference to be legitimate in a proof it must have sufficient epistemic power, so that the proof really justifies its final conclusion. However, the epistemic concepts used to account for this power are in their turn usually explained in terms of the concept of proof. To get out of this circle we may (...) consider an idea within intuitionism about what it is to justify the assertion of a proposition. It depends on Heyting’s view of the meaning of a proposition, but does not presuppose the concept of inference or of proof as chains of inferences. I discuss this idea and what is required in order to use it for an adequate notion of valid inference. (shrink)

An inference can be seen as a speech act, in which one passes from a number of assertions called premisses to another assertion, the conclusion, which is presented as supported or justified by the premisses. To justify the assertion that appears as conclusion is the characteristic aim of an inference. Here, we confine ourselves to deductive inferences where the justification is taken to be conclusive. A short, natural explanation of what it is for a (deductive) inference to be valid is (...) to say that it is valid if it succeeds in its aim, that is, if its premisses do (conclusively) justify the conclusion, given that premisses are justified. The paper is concerned with developing this explanation further. (shrink)

I see the question what it is that makes an inference valid and thereby gives a proof its epistemic power as the most fundamental problem of general proof theory. It has been surprisingly neglected in logic and philosophy of mathematics with two exceptions: Gentzen’s remarks about what justifies the rules of his system of natural deduction and proposals in the intuitionistic tradition about what a proof is. They are reviewed in the paper and I discuss to what extent they succeed (...) in answering what a proof is. Gentzen’s ideas are shown to give rise to a new notion of valid argument. At the end of the paper I summarize and briefly discuss an approach to the problem that I have proposed earlier. (shrink)

The main question addressed in this chapter is how to analyze the modal ingredient in the concept of logical consequence or logical validity of an inference, here expressed by saying that the truth of the conclusion of a logically valid inference should follow by necessity of thought from the truth of the premisses. It is claimed that this modal ingredient is not taken care of by Tarski’s requirement, later developed in model theory, that for all interpretations of the non-logical terms (...) of the sentences, the conclusion is true if the premisses are. Instead we must bring in reasoning or the notion of proof in the analysis, and it is shown how one may develop a notion of proof or validity of an argument based on the constructive meaning of the logical constants. It is proposed that from a constructive point of view, a sentence is a consequence of a set of premisses if and only if there is a proof in the sense explained of the sentence from the set of premisses. Knowledge of such a proof compels us to hold the conclusion true given that we hold the premisses true. (shrink)

The aim of this paper is to make a critical assessment of Krister Segerberg''s theory of action. The first part gives a critical presentation of the key concepts in Segerberg''s informal theory of action. These are the ideas that motivate the formal models he develops. In the second part it is argued that if one takes all of Segerberg''s motivating ideas seriously, problems are forthcoming. The main problem is that on this theory the agents seem to be bound to realize (...) all of their intentions, a problem that stems from Segerberg''s attempt to individuate actions in terms of the agent''s intentions. On the ground that this unfortunate result is forthcoming in both of Segerberg''s approaches to the logic of action it is concluded that the conceptual basis of the theory is problematic. (shrink)

A common misunderstanding is that there is something logically amiss with the classical square of opposition, and that the problem is related to Aristotle’s and medieval philosophers’ rejection of empty terms. But [Parsons 2004] convincingly shows that most of these philosophers did not in fact reject empty terms, and that, when properly understood, there are no logical problems with the classical square. Instead, the classical square, compared to its modern version, raises the issue of the existential import of words like (...) all; a semantic issue. I argue that the modern square is more interesting than Parsons allows, because it presents, in contrast with the classical square, notions of negation that are ubiquitous in natural languages. This is an indirect logical argument against interpreting all with existential import. I also discuss some linguistic matters bearing on the latter issue. (shrink)

We prove that the Kleene schemes for primitive recursion relative to the μ-operator, relativized to some nondeterministic objects, have the same power to express total functionals when interpreted over the partial continuous functionals and over the Kleene-Kreisel continuous functionals. Relating the former interpretation to Niggl's ℳω we prove Nigg's conjecture that ℳω is strictly weaker than Plotkin's PCF + PA.

Bolzano’s definition of consequence in effect associates with each set X of symbols (in a given interpreted language) a consequence relation X . We present this in a precise and abstract form, in particular studying minimal sets of symbols generating X . Then we present a method for going in the other direction: extracting from an arbitrary consequence relation its associated set C of constants. We show that this returns the expected logical constants from familiar consequence relations, and that, restricting (...) attention to sets of symbols satisfying a strong minimality condition, there is an isomorphism between the set of strongly minimal sets of symbols and the set of corresponding consequence relations (both ordered under inclusion). (shrink)

Compositionality is a principle used in logic, philosophy, mathematics, linguistics, and computer science for assigning meanings to language expressions in a systematic manner following syntactic construction, thereby allowing for a perspicuous algebraic view of the syntax-semantics interface. Yet the status of the principle remains under debate, with positions ranging from compositionality always being achievable to its having genuine empirical content. This paper attempts to sort out some major issues in all this from a logical perspective. First, we stress the fundamental (...) harmony between Compositionality and its apparent antipode of Contextuality that locates meaning in interaction with other linguistic expressions and in other settings than the actual one. Next, we discuss basic further desiderata in designing and adjudicating a compositional semantics for a given language in harmony with relevant contextual syntactic and semantic cues. In particular, in a series of concrete examples in the realm of logic, we point out the dangers of over-interpreting compositional solutions, the ubiquitous entanglement of assigning meanings and the key task of explaining given target inferences, and the dynamics of new language design, illustrating how even established compositional semantics can be rethought in a fruitful manner. Finally, we discuss some fresh perspectives from the realm of game semantics for natural and formal languages, the general setting for Samson Abramsky’s influential work on programming languages and process logics. We highlight outside-in coalgebraic perspectives on meanings as finite or infinitely unfolding behavior that might challenge and enrich current discussions of compositionality. (shrink)

Albertus Magnus favours the Aristotelian definition of the soul as the first actuality or perfection of a natural body having life potentially. But he interprets Aristotle's vocabulary in a way that it becomes compatible with the separability of the soul from the body. The term “perfectio” is understood as referring to the soul's activity only, not to its essence. The term “forma” is avoided as inadequate for defining the soul's essence. The soul is understood as a substance which exists independently (...) of its actions and its body. The article shows that Albertus' terminological decisions continue a tradition reaching from the Greek commentators, and John Philoponos in particular, to Avicenna. Albertus' position on another important issue is also influenced by Arabic sources. His defense of the unity of the soul's vegetative, animal and rational parts rests on arguments from Avicenna and Averroes. It is shown that Averroes' position on the problem is not clearcut: he advocates the unity thesis, but also teaches the plurality of the generic and individual forms in man. This double stance is visible in the Latin reception of Averroes' works, and also in Albertus, who presents Averroes both as supporter and opponent of the plurality thesis. (shrink)

Ibn al-'Arabī (d. 1240) was one of the towering figures of Islamic intellectual history, and among Sufis still bears the title of al-shaykh al-akbar, or "the greatest master." Ibn al-'Arabī and Islamic Intellectual Culturetraces the history of the concept of "oneness of being" (wahdat al-wujūd) in the school of Ibn al- 'Arabī, in order to explore the relationship between mysticism and philosophy in Islamic intellectual life. It examines how the conceptual language used by early mystical writers became increasingly engaged over (...) time with the broader Islamic intellectual culture, eventually becoming integrated with the latter's common philosophical and theological vocabulary. It focuses on four successive generations of thinkers (Sadr al-Dīn al-Qūnawī, Mu'ayyad al-Dīn al-Jandī, 'Abd al-Razzāq al-Kāshānī, and Dāwūd al-Qaysarī), and examines how these "philosopher-mystics" refined and developed the ideas of Ibn al-'Arabī. Through a close analysis of texts, the book clearly traces the crystallization of an influential school of thought in Islamic history and its place in the broader intellectual culture. Offering an exploration of the development of Sufi expression and thought, this book will be a valuable resource for students and scholars of Islamic thought, philosophy, and mysticism. (shrink)

This paper focuses on how revolts against caste-based oppression in India have been made invisible due to conceptual legacies in European social and political theory. Weber’s and Arendt’s conceptualization of Pariah agency is a case in point. Arendt’s main understanding of Pariah agency is individualized and inadequate to study freedom struggles among untouchable castes. This article argues that one not only needs to move away from analyzing individual to collective action, but it is also crucial to foreground how collective mobilization (...) among excluded groups has focused on contingencies that embed a system of domination. Dr. Bhimrao Ambedkar’s critique of caste-based domination in India is noteworthy in this regard; he foregrounds how the distinction between “Touchables” and “Untouchables” in the caste system is both embedded and contingent. Focusing on untouchability in India, Ambedkar offers insights into hegemonic analyses of social exclusion, human rights articulations before the Universal Declaratio... (shrink)

Psychological radio counselling is a relatively recent development in psychological practice, where professionals provide psychological help via mass media communication. In the media context, a professional and a help-seeker face a number of communicative challenges, one of which is to close the encounter meaningfully with regard to its counselling and radio tasks. This study explicates how radio counselling encounters can be rounded off by summarising and reviewing the progress achieved in understanding the caller’s problem. At the end of the encounters, (...) the radio psychologist invited callers to look back at the conversation and to formulate possible gains from it. On one hand, the radio psychologist encouraged callers’ reflection and acknowledged the callers’ entitlement to pass judgement on the outcomes of the encounter. On the other hand, the radio psychologist checked and subsequently reviewed the caller’s understanding of his or her problem and its solutions. We discuss how the practice was used to round off the encounters in a distinct way with an orientation to their counselling and radio objectives. (shrink)

How should the policies of search engines and other information intermediaries be ethically evaluated? It is argued that Kant’s principles for the public use of reason are useful starting points for the formulation of criteria for such an evaluation. The suggestion is, furthermore, that a search engine can be seen to provide a testimony to the user concerning what information that is most relevant to her query. This suggestion is used as the basis for the development of a broadly Kantian (...) account of a rational searcher. It is argued that the search engine companies are morally required to publish their information policies and act in accordance with them but given the threat of search engine spam they can have no obligation to publish the details of their algorithms. (shrink)

The Justification of Deduction is the title of one of Michael Dummett’s essays. It names also an important theme in his writings to which he returned in the book The Logical Basis of Metaphysics. In the essay he distinguishes different levels of justification of increasing philosophical depth. At the third and deepest level, the focus is on explaining deduction rather than on justifying it. The task is to explain how deduction can be both legitimate and useful in giving us knowledge. (...) I suggest that it can be described as essentially being the task to say what it is that gives a deduction its epistemic force. It is a fact that deduction has such force, consisting in its capacity to provide grounds for assertions and thereby extend our knowledge, but it is a fact that has to be explained. What is it that gives a deduction this capacity? This task is more challenging than is usually assumed. Obviously, it is not the validity of its inferences, as this is usually understood, which gives a deduction its epistemic force. Truth conditional theory of meaning does not seem to have any satisfactory solution to offer, and I argue that nor have inferential theories of meaning, which take the meaning of sentences to be determined by inference rules accepted in a language. In the last part of the paper, I sketch a different approach to the problem. The main idea is here to give the concept of inference a richer content, so that to perform an inference is not only to make a speech act in which a conclusion is claimed to be supported by a number of premisses, but is in addition to operate on the grounds for the premisses with the aim of getting a ground for the conclusion. I suggest that it is thanks to such operations that deductions provide grounds for their final conclusions. (shrink)

This article discusses the understanding of bullying and how it first appears as a phenomenon in early childhood. Empirical research on the social life of young children indicates a capacity for empathy that is independent of social learning. Based upon Merleau-Ponty`s philosophy of the body and Levinas’s existentialist notion of the origin of morality, the article emphasize empathy and the sense of responsibility as a fundamental event in our initial encounter with one another – not learned competence based on cognitive (...) refl ections. Anti-social behavior like bullying is therefore considered to be a narrowing of the initial openness for others entering our life-world, not a result of a natural urge to power and dominance. (shrink)

WeingartnerPaul and LeebHans-Peter, eds, Kreisel’s Interests: On the Foundations of Logic and Mathematics. Tributes; 41. London: College Publications, 2020. Pp. viii + 171. ISBN: 978-1-84890-330-2.

We show how Kreisel's representation theorem for sets in the analytical hierarchy can be generalized to sets defined by positive induction and use this to estimate the complexity of constructions in the theory of domains with totality.

This book covers completeness of first-order logic, some model theory, Gödel's incompleteness theorems and related results, and a smattering of computability theory. The text is self-contained and provides full proofs of the main facts. Ideally, the reader of this work has already taken at least one introductory logic course; however, everything needed to understand the syntax and semantics of first-order logic is presented herein. Students from philosophy, linguistics, computer science, physics, and other related subjects will find this work useful and (...) enlightening. (shrink)